منابع مشابه
On Track with Two Gammas
CA1 place cells discharge in prospective and retrospective modes, possibly reflecting memory retrieval and encoding, respectively. In this issue of Neuron, Bieri et al. (2014) report that slow and fast gamma oscillations associate with prospective and retrospective discharge, indicating that gamma oscillations organize information-processing modes.
متن کاملon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولInvestigation of the Influences of Track Superstructure Parameters on Ballasted Railway Track Design
The main design criteria of ballasted railway tracks include rail deflections, rail bending stresses, rail wheel contact stresses, sleeper bending moments and ballast sleeper contact pressures. Numerous criteria have been defined for the design of ballasted railway tracks owing to the various mechanical properties of track components and their complex interaction. Therefore, railway track desig...
متن کاملUltimate Automizer with Two-track Proofs - (Competition Contribution)
Ultimate Automizer is a software verification tool that implements an automata-based approach for the analysis of safety and liveness problems. The version that participates in this year’s competition is able to analyze non-reachability, memory safety, termination, and overflow problems. In this paper we present the new features of our tool as well as the instructions how to install and use it....
متن کاملTwo-Way Finite Automata with a Write-Once Track
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, nested pebbles) and with cooperation. None of these additions permits recognition of non-regular languages. The purpose of this work is to investigate a new kind of automata which is inspired by an extension of 2DPDAs. M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Neuron
سال: 2014
ISSN: 0896-6273
DOI: 10.1016/j.neuron.2014.04.027